skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.
Attention:The NSF Public Access Repository (NSF-PAR) system and access will be unavailable from 7:00 AM ET to 7:30 AM ET on Friday, April 24 due to maintenance. We apologize for the inconvenience.


Search for: All records

Creators/Authors contains: "Spear, Michael"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. Abstract Freshwater ecosystems can serve as model systems that reveal insights into biological invasions. In this article, we summarize nine lessons about aquatic invasive species from the North Temperate Lakes Long-Term Ecological Research program and affiliated projects. The lessons about aquatic invasive species are as follows: Invasive species are more widespread than has been documented; they are usually at low abundance; they can irrupt from low-density populations in response to environmental triggers; they can occasionally have enormous and far-reaching impacts; they can affect microbial communities; reservoirs act as invasive species hotspots; ecosystem vulnerability to invasion can be estimated; invasive species removal can produce long-term benefits; and the impacts of invasive species control may be greater than the impacts of the invasive species. This synthesis highlights how long-term research on a freshwater landscape can advance our understanding of invasions. 
    more » « less
  2. null (Ed.)
    —We present the skip vector, a novel highperformance concurrent data structure based on the skip list. The key innovation in the skip vector is to flatten the index and data layers of the skip list into vectors. This increases spatial locality, reduces synchronization overhead, and avoids much of the costly pointer chasing that skip lists incur. We evaluate a skip vector implementation in C++. Our implementation coordinates interactions among threads by utilizing optimistic traversal with sequence locks. To ensure memory safety, it employs hazard pointers; this leads to tight bounds on wasted space, but due to the skip vector design, does not lead to high overhead. Performance of the skip vector for small data set sizes is higher than for a comparable skip list, and as the amount of data increases, the benefits of the skip vector over a skip list increase. 
    more » « less
  3. null (Ed.)
    The Transactional Data Structure Library (TDSL) methodology improves the programmability and performance of concurrent software by making it possible for programmers to compose multiple concurrent data structure operations into coarse-grained transactions. Like transactional memory, TDSL enables arbitrarily many operations on arbitrarily many data structures to appear to other threads as a single atomic, isolated transaction. Like concurrent data structures, the individual operations on a TDSL data structure are optimized to avoid artificial contention. We introduce techniques for reducing false conflicts in TDSL implementations. Our approach allows expressing the postconditions of operations entirely via semantic properties, instead of through low-level structural properties. Our design is general enough to support lists, deques, ordered and unordered maps, and vectors. It supports richer programming interfaces than are available in existing TDSL implementations. It is also capable of precise memory management, which is necessary in low-level languages like C++. 
    more » « less
  4. null (Ed.)
  5. null (Ed.)
  6. ABSTRACT It is well established that nonnative species are a key driver of global environmental change, but much less is known about the underlying drivers of nonnative species outbreaks themselves. In the present article, we explore the concept and implications of nonnative sleeper populations in invasion dynamics. Such populations persist at low abundance for years or even decades—a period during which they often go undetected and have negligible impact—until they are triggered by an environmental factor to become highly abundant and disruptive. Population irruptions are commonly misinterpreted as a recent arrival of the nonnative species, but sleeper populations belie a more complex history of inconspicuous occurrence followed by an abrupt shift in abundance and ecological impact. In the present article, we identify mechanisms that can trigger their irruption, and the implications for invasive species risk assessment and management. 
    more » « less
  7. Fourcade, Yoan (Ed.)
  8. null (Ed.)
    Storing data structures in high-capacity byte-addressable persistent memory instead of DRAM or a storage device offers the opportunity to (1) reduce cost and power consumption compared with DRAM, (2) decrease the latency and CPU resources needed for an I/O operation compared with storage, and (3) allow for fast recovery as the data structure remains in memory after a machine failure. The first commercial offering in this space is Intel® Optane™ Direct Connect (Optane™ DC) Persistent Memory. Optane™ DC promises access time within a constant factor of DRAM, with larger capacity, lower energy consumption, and persistence. We present an experimental evaluation of persistent transactional memory performance, and explore how Optane™ DC durability domains affect the overall results. Given that neither of the two available durability domains can deliver performance competitive with DRAM, we introduce and emulate a new durability domain, called PDRAM, in which the memory controller tracks enough information (and has enough reserve power) to make DRAM behave like a persistent cache of Optane™ DC memory.In this paper we compare the performance of these durability domains on several configurations of five persistent transactional memory applications. We find a large throughput difference, which emphasizes the importance of choosing the best durability domain for each application and system. At the same time, our results confirm that recently published persistent transactional memory algorithms are able to scale, and that recent optimizations for these algorithms lead to strong performance, with speedups as high as 6× at 16 threads. 
    more » « less
  9. null (Ed.)